You have chosen fragments/reports, First-Order Modal Logic and First-Order Modal Logic.
All three must be different; choose another text.